pragma solidity ^0.5.16;

contract MathCertora {

}
